Title: Automated Test Case Generation for Code Generators Based on Graph-transformation Rules
نویسندگان
چکیده
In automotive software development models are the central artefact within the whole development process (model-based development). The new technology of automatic code generation closes the gap between the software design on the base of a model (executable specification) and its implementation (controller code). This paper shows how to test formally specified code generators and gives guidance in test case determination for specific code generator transformation rules.
منابع مشابه
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, code generators are not as mature as classical compilers and they need to be extensively tested. This paper proposes a technique for systematically deriving suitable test cases for code generators, involving the interaction of chos...
متن کاملTest Suite Design for Code Generation Tools
• General approach for the systematic verification of code generators • Seamless test case derivation (process) based on formal specification (i.e. graph transformation rule) • A method is suggested to create test input data for model and code using automated structural test • Results are suitable for making general assumptions about whether or not the code generator’s behaviour is correct Cont...
متن کاملUML Action Semantics for Model Tranformations?
Abstract. Graph transformation provides a visual but mathematically precise way to specify arbitrary model transformations in the Model Driven Architecture. The Action Semantics for UML is a standard and platform independent way to describe the dynamic behavior of methods and executable actions in UML based system models prior to implementation allowing the development of highly automated and o...
متن کاملModGraph - Generating Executable EMF Models
Model driven software engineering aims at creating high level executable models which may be interpreted or compiled. For efficient execution of operations on model instances code generators play an important role. A wellestablished tool for structural modeling and code generation is the Eclipse Modeling Framework (EMF). We extended EMF by behavior modeling within ModGraph, a tool to model beha...
متن کاملIncorporating Design Knowledge into Genetic Algorithm-based White-Box Software Test Case Generators
This thesis shows how to incorporate Unified Modeling Language sequence diagrams into genetic algorithm-based automated test case generators to increase the code coverage of their resulting test cases. Automated generation of test data through evolutionary testing was proven feasible in prior research studies. In those previous investigations, the metrics used for determining the test generatio...
متن کامل